21. Computability with pascal
پدیدآورنده : Mallozzi, John s.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
رده :
QA
9
.
59
.
M34
1984
22. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H413
23. #Recursively enumerable sets and degrees
پدیدآورنده : #Robert I. Soare
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Recursive functions ،Computable functions
رده :
#
QA
،#.
S63
24. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
25. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
26. Recursively enumeralble sets and degrees
پدیدآورنده : Soare, Robert Irving, 0491-
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
27. Reflexive structures : an introduction to computability theory
پدیدآورنده : Sanchis, Luis E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
S26
1988
28. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
29. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: (طهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
30. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
R64
1987
31. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
248
.
5
.
R6
32. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
R64
1987
